#ifndef __ERROR_HH__
#define __ERROR_HH__

#include <string>
#include <iostream>
using namespace std;

class Error
{
 public:
  Error(const char* file, int line, const string& msg);
  void print(ostream& out) const;
  string msg() const;

  string file;
  int line;
  string msg_;
};

#endif
